Modal Logic and Game Theory: Two Alternative Approaches
نویسنده
چکیده
Two views of game theory are discussed: (1) game theory as a description of the behavior of rational individuals who recognize each other’s rationality and reasoning abilities, and (2) game theory as an internally consistent recommendation to individuals on how to act in interactive situations. It is shown that the same mathematical tool, namely modal logic, can be used to explicitly model both views.
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملBounded game-theoretic semantics for modal mu-calculus
We introduce a new game-theoretic semantics (GTS) for the modal μ-calculus. Our so-called bounded GTS replaces parity games with novel alternative evaluation games where only finite paths arise. Infinite paths are not needed even when the considered transition system is infinite.
متن کاملPricing in a two-echelon supply chain with different market powers: game theory approaches
In this research, the optimal pricing decisions for two complementary products in a two-echelon supply chain under two scenarios are studied. The proposed supply chain in each echelon includes one retailer and two manufacturers and the same complementary products are produced. In the first scenario, we assume the unit manufacturing costs of the complementary products in each echelon are the sam...
متن کاملInsights into Modal Slash Logic and Modal Decidability
The present paper has a two-fold task. On the one hand, it aims to provide an overview on Independence friendly modal logic as defined in (Tulenheimo, 2003; Tulenheimo, 2004) and studied in a number of subsequent publications. For systematic reasons to be explained, the logic is here referred to as modal slash logic (MsL). On the other hand, we take a close look at a syntactic fragment of MsL, ...
متن کاملParity Games and Automata for Game Logic
Parikh’s game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game logic translates into a fragment of the monotone μ-calculus, which in turn is expressively equivalent to monotone modal automata. Parity games and automata are important tools for dealing with the combinatorial complexit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002